$\forall$$P$,$Q$:$\mathbb{P}$. ($P$ $\Leftarrow\!\Rightarrow$ $Q$) $\Rightarrow$ (Dec($P$) $\Leftarrow\!\Rightarrow$ Dec($Q$))